xen/xsm: Rename CONFIG_FLASK_* to CONFIG_XSM_FLASK_*
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 26 Jun 2018 09:56:50 +0000 (10:56 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 28 Aug 2018 13:17:11 +0000 (14:17 +0100)
commitada9a4d904f860fe16d0eb4f7ae2fd93212880a9
tree2651916b8ff8aba42dd51769becc336b295ee948
parentc416666181684a28d9f11989b8b7ef4dfe2ab78b
xen/xsm: Rename CONFIG_FLASK_* to CONFIG_XSM_FLASK_*

Flask is one single XSM module, and another is about to be introduced.
Properly namespace the symbols for clarity.

No functional change.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Doug Goldstein <cardoe@cardoe.com>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
xen/common/Kconfig
xen/include/Makefile
xen/include/xen/sched.h
xen/include/xsm/xsm.h
xen/xsm/Makefile
xen/xsm/flask/avc.c
xen/xsm/flask/flask_op.c
xen/xsm/flask/include/avc.h